Black-Box Program Specialization
نویسنده
چکیده
Software components o er numerous advantages in terms of development, but may give rise to ine ciency due to highly generic implementations. Program specialization can automatically remove overheads due to overly generic implementations, but requires inspection of the source code. To retain the advantages of black-box software components, we propose black-box program specialization: specialization opportunities are specied by the developer and become part of the interface of a component, allowing the user to specialize the component according to speci c needs. We characterize the problem of consolidating program specialization and black-box component re-use, outline our proposed solution, and illustrate our approach using an example.
منابع مشابه
On the applicability of Artificial Intelligence in Black Box Testing
Efficient and thorough testing is essential to create quality software. In some cases, software code may not be available in testing phase. In such scenarios black box testing is used. The work presents various black box testing techniques. A systematic literature review has been carried out according to the guidelines proposed by kitchenham. The work discusses the applicability of artificial i...
متن کاملA New Framework for the Valuation of Algorithms for Black-Box Optimization
Black-box optimization algorithms optimize a fitness function f without knowledge of the specific parameters of the problem instance. Their run time is measured as the number of f -evaluations. This implies that the usual algorithmic complexity of a problem cannot be applied in the black-box scenario. Therefore, a new framework for the valuation of algorithms for black-box optimization is prese...
متن کاملWhite-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing
We propose to use deductive program verification systems to generate specifications for given programs and to then use these specifications as input for black-box testing tools. In this way, (1) the black-box testing method can make use of information about the program’s structure that is contained in the specification, and (2) we get a separation of concerns and a clear interface between progr...
متن کاملNon-Black-Box Techniques In Crytpography Thesis for the Ph.D degree
f(x) def = x + 1 for any integer x. Given a program Π and a value x, it is possible to compute f(x), where f(·) is the function associated with the program Π, by executing the program Π on a computer. We sometimes call the string Π the representation or code of the function f(·). Since a program is a string, it sometimes makes sense to use it as input to a different program. Indeed, algorithms ...
متن کاملFeedback improvement in automatic program evaluation systems
Automatic program evaluation is a way to assess source program files. These techniques are used in learning management environments, programming exams and contest systems. However, use of automated program evaluation encounters problems: some evaluations are not clear for the students and the system messages do not show reasons for lost points. The author proposes several ideas for possible imp...
متن کامل